منابع مشابه
Solos in
We present a calculus of mobile processes without preex or summation, and using two diierent encodings we show that it can express both action preex and guarded summation. One encoding gives a strong correspondence but uses a match operator; the other yields a slightly weaker correspondence but uses no additional operators.
متن کاملCd ‐ Jra ‐ 1 . 3 .
The goal of Web service (WS) discovery is to select WSs that satisfy both the users’ functional and non functional requirements. Focusing on non functional requirements, a matchmaking algorithm usually takes place to verify if the quality offered by the WS provider overlaps the quality requested by the user. Since quality, in a provider perspective, is costly, a further step, a negotiation, sho...
متن کاملSolos in Concert
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. One encoding gives a strong correspondence but uses a match operator; the other yields a slightly weaker correspondence but uses no additional operators.
متن کاملSharpey-Schafer Lecture Gas channels
The traditional dogma has been that all gases diffuse through all membranes simply by dissolving in the lipid phase of the membrane. Although this mechanism may explain how most gases move through most membranes, it is now clear that some membranes have no demonstrable gas permeability, and that at least two families of membrane proteins, the aquaporins (AQPs) and the Rhesus (Rh) proteins, can ...
متن کاملLuxR solos in Photorhabdus species
Bacteria communicate via small diffusible molecules to mediate group-coordinated behavior, a process designated as quorum sensing. The basic molecular quorum sensing system of Gram-negative bacteria consists of a LuxI-type autoinducer synthase producing acyl-homoserine lactones (AHLs) as signaling molecules, and a LuxR-type receptor detecting the AHLs to control expression of specific genes. Ho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: CAML Review / Revue de l'ACBM
سال: 2007
ISSN: 1708-6701,1496-9963
DOI: 10.25071/1708-6701.15907